Construction of the automaton mapping
نویسندگان
چکیده
منابع مشابه
Towards Construction of Social Automaton
Age old classical problems of the theory of society have a contemporary new dimension with the advent of computer-mediated communication. New communications rapidly transformed the internet introducing the idea of the social web. The concept of social machines as socio-technical systems, in whose machinery both humans and technology play participatory roles has given a new definition of what is...
متن کاملconstruction and validation of the translation teacher competency test and the scale of students’ perceptions of translation teachers
the major purpose of this study was to develop the translation teacher competency test (ttct) and examine its construct and predictive validity. the present study was conducted in two phases: a qualitative phase as well as a quantitative phase. in the first phase of the study, the author attempted to find out the major areas of competency required for an academic translation teacher. the second...
Optimization Construction of Region Automaton
Model checking is one of the most practical techniques of automatic formal verification to ensure the correctness of design specifications. The problem that the number of states can become too large for model-checking real-time system is known as the state-space explosion problem. An optimization definition of clock equivalence, the key to model checking real-time, was described for model check...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applications of Mathematics
سال: 1965
ISSN: 0862-7940,1572-9109
DOI: 10.21136/am.1965.102987